(a, b) -> c